Философский энциклопедический словарь - фреге (frege) готлоб
Связанные словари
Фреге (frege) готлоб
фреге (frege) готлоб
(род. 8 нояб. 1848, Висмар ум. 26 июля 1925, Йена) нем. философ, логик и математик, с 1879 профессор математики в Йене. Создал наряду с Д. Булем основы логистики; продолжив ход мысли Больцано, Фреге рассматривал понятие как функцию от одной или многих переменных. Функциям (понятиям) он противопоставляет "предметы", которые являются для этих функций истинными или ложными ценностями. Логике понятий Фреге предпочитает логику предложений благодаря логическиструктурной простоте последней. Отчасти примыкал к Фреге Б. Рассел. Фреге дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики; он явился одним из основоположников логической семантики. Осн. произв.: "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens", 1879; "Die Grundlagen der Arithmetik", 1884; "Grundgesetze der Arithmetik", 2 Bde., 1893.
Рейтинг статьи:
См. в других словарях
1.
(1848-1925) нем. логик, математик и философ. В 1879-1918 проф. ун-та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии аналитической философии. Ф. положил начало теории математического доказательства, он впервые осуществил дедуктивно-аксиоматическое построение логики первого порядка с помощью формализованного языка. Целый ряд его идей и понятий вошли в язык современной логики: он ввел понятия истинностного значения, логической функции и различение свойств и отношений как соответственно одноместных и многоместных функций, дал определения отношений принадлежности элемента классу и включения класса в класс, впервые стал систематически использовать кванторы. Он является основоположником той части логической семантики, в которой исследуются связь значения и смысла языковых выражений и отношение обозначения. Исходя из идеи об универсальном характере предметной области в логике, Ф. предложил систему формальной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования...Современная западная философия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1811 | |
2 | 1618 | |
3 | 1471 | |
4 | 1400 | |
5 | 1333 | |
6 | 1308 | |
7 | 1218 | |
8 | 1170 | |
9 | 1144 | |
10 | 1092 | |
11 | 1000 | |
12 | 986 | |
13 | 981 | |
14 | 949 | |
15 | 940 | |
16 | 921 | |
17 | 892 | |
18 | 830 | |
19 | 816 | |
20 | 797 |